12:45
2026-06-17
blog.brownplt.org
large-language-models
Human Judgment as a Specification
Researchers at Brown University propose a human-in-the-loop approach to formal specification generation using LLMs, introducing PICK to help programmers select correct formal specifications from multi…